Unsupervised Explanation Generation via Correct Instantiations
نویسندگان
چکیده
While large pre-trained language models (PLM) have shown their great skills at solving discriminative tasks, a significant gap remains when compared with humans for explanation-related tasks. Among them, explaining the reason why statement is wrong (e.g., against commonsense) incredibly challenging. The major difficulty finding conflict point, where contradicts our real world. This paper proposes Neon, two-phrase, unsupervised explanation generation framework. Neon first generates corrected instantiations of (phase I), then uses them to prompt PLMs find point and complete II). We conduct extensive experiments on two standard benchmarks, i.e., ComVE e-SNLI. According both automatic human evaluations, outperforms baselines, even those human-annotated instantiations. In addition negative prediction, we further demonstrate that effective generalizing different scenarios. resources are available at: https://github.com/Shark-NLP/Neon.
منابع مشابه
Unsupervised Learning via Total Correlation Explanation
Learning by children and animals occurs effortlessly and largely without obvious supervision. Successes in automating supervised learning have not translated to the more ambiguous realm of unsupervised learning where goals and labels are not provided. Barlow (1961) suggested that the signal that brains leverage for unsupervised learning is dependence, or redundancy, in the sensory environment. ...
متن کاملTowards Provably Correct Code Generation via Horn Logical Continuation Semantics
Provably correct compilation is an important aspect in development of high assurance software systems. In this paper we explore approaches to provably correct code generation based on programming language semantics, particularly Horn logical semantics, and partial evaluation. We show that the definite clause grammar (DCG) notation can be used for specifying both the syntax and semantics of impe...
متن کاملDisequality Management in Integer Difference Logic via Finite Instantiations
The last few years have seen the advent of a new breed of decision procedures for various fragments of first-order logic based on propositional abstraction. A lazy satisfiability checker for a given fragment of first-order logic invokes a theory-specific decision procedure (a theory solver) on a (partial) model for the abstraction. If the model is found to be consistent in the given theory, the...
متن کاملNeuroscience and the correct level of explanation for understanding mind
An extraterrestrial roams through some neuroscience labs and concludes earthlings are not grasping how best to understand the mind/brain interface An extraterrestrial lands on Earth and, naturally enough, wants to know what makes humans tick. ET wonders whether humans might know themselves, so he (it?) visits labs—the very best neuroscience labs. There ET sees people sticking electrodes into si...
متن کاملEfficient, Correct, Unsupervised Learning for Context-Sensitive Languages
A central problem for NLP is grammar induction: the development of unsupervised learning algorithms for syntax. In this paper we present a lattice-theoretic representation for natural language syntax, called Distributional Lattice Grammars. These representations are objective or empiricist, based on a generalisation of distributional learning, and are capable of representing all regular languag...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ... AAAI Conference on Artificial Intelligence
سال: 2023
ISSN: ['2159-5399', '2374-3468']
DOI: https://doi.org/10.1609/aaai.v37i11.26494